ceiling function symbol. There are any references about ceiling function symbol in here. you can look below.